Building Olympian Quadrupeds: Reinforcement Learning for High-Performance Jumping