A probabilistic approach to simultaneous extraction of beats and downbeats