Minimax Optimal Algorithms for Fixed-Budget Best Arm Identification