What's happening in the sky? Hole punch clouds, explained