A Study of Optimization of Machining Parameters for Electrical Discharge Machining of Boron Carbide