A Phase-Type Representation for the Queue Length Distribution of a Semi-Markovian Queue