Real-Time Progress Prediction in Reasoning Language Models