Number Field Sieve with provable complexity