Mathematical models of rhythm synchronization and anticipation