Text this: Uniform sampling for timed automata with application to language inclusion measurement