m 10 rock dust mixed with portland cement