Circumstellar water vapour in M-type AGB stars: radiative transfer models, abundances, and predictions for HIFI