Computational methods for simulating crane activities: Mathematical modeling of construction cranes and their activities, and computational methods to simulate and visualize crane erection processes