BODex: Scalable and Efficient Robotic Dexterous Grasp Synthesis Using Bilevel Optimization