How dolphins are programmed to get poor sleep