Multiple cranes control with task deadlines and priority constraints