Skipformer: A Skip-and-Recover Strategy for Efficient Speech Recognition