Collisional stripping of planetary crusts