babcock coal mill v polysius coal mill