A multi-scale product model for shield tunnels based on the Industry Foundation Classes