A summary of the OpenID Connect protocol and its usage for authentication in an SPA