Gravar-mail: Quantitative indicators for a healthy city--the Rotterdam local health information system.