Why do several static users assigned the same single CA TPX profile have different TPX menu sessions?