Doubly dynamic path choice models for urban transit systems