What to do if you’re woken up by a quake