Multiple cranes control with tasks deadlines and priority constraints