AQUA and PROCHECK-NMR: Programs for checking the quality of protein structures solved by NMR