A semistable model for the tower of modular curves