Elliptic curve primality proving