Verifiable Credentials explained with EBSI