Optimisation and analysis of efficiency for contra-rotating propellers for high-altitude airships. (May 2019)