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