what is used to crush marble