Mining Ticketing Logs for Usage Characterization with Nonnegative Matrix Factorization · Study