Mathematical Modelling And Efficient Algorithms For Autonomous Straddle Carriers Planning At Automated Container Terminals