Text this: Provably secured and lightweight authenticated encryption protocol in machine-to-machine communication in industry 4.0