Text this: Efficient and provably secure key agreement for modern smart metering communications