A concise, health service coverage index for monitoring progress towards universal health coverage