The Mordell-Weil sieve : proving non-existence of rational points on curves