Cut-free Calculi and Relational Semantics for Temporal STIT Logics