Balancing chemical equation with substitution