Compliance and subtyping in timed session types