A planning and scheduling system for high-rise building construction