Compliance and Subtyping in Timed Session Types