Progress in kaon physics on the lattice