RoboPianist: Dexterous Piano Playing with Deep Reinforcement Learning (2023)