Modeling impact cratering in layered surfaces