Monte Carlo Methods for Tempo Tracking and Rhythm Quantization