Formal orthogonal polynomials and Pade approximants in a non-commutative algebra