Patient cost evaluation according to a thirteen-state HIV semi-Markov reward model