uso de coque de petróleo en la industria del cemento