HKT Manifolds: Hodge Theory, Formality and Balanced Metrics | Synapse