what happens if you mix rock dust and cement