Modelling Architectures of Federated Identity Management Systems