Seol mar théacs é seo: Efficient and provably secure key agreement for modern smart metering communications