It's the third biggest UK lottery jackpot of all time.