Pure Exploration for Constrained Best Mixed Arm Identification with a Fixed Budget