A Provably Secure Strong PUF based on LWE: Construction and Implementation