The e-NOTUM service completes its migration to the AWS cloud