人口カバー率っていう定義は5Gでは使わなくなったんじゃなかったっけ