An experimental investigation of wire electrical discharge machining of hot-pressed boron carbide