Theory of Translation Closedness for Time Scales: With Applications in Translation Functions and Dynamic Equations