what is the best way to crush lava rock