The chlorinated alkane often used industrially to remove grease is