Markov renewal processes: Definitions and preliminary properties