What happens to rock during cementation?