How are CA Service Desk Manager (CA SDM) ticket numbers generated?