Regular models of modular curves in prime level over ${\mathbb Z}_p^{\mathrm{ur}}$