how long is the flying time from edinburgh direct to marakesh