Brain activity of diving seals reveals short sleep cycles at depth | Synapse