what is the format of SELinux security context which will assign the user_r role and the user_t domain to their login sessions?