Discretization procedures for continuous time decision processes