Balanced Truncation Model Reduction with A Priori Error Bounds for LTI Systems with Nonzero Initial Value