Do you need to catch up after a bad night’s sleep? Why an extra 30-minute snooze might be enough