Lattice methods for finding rational points on varieties over number fields