Bubble tree convergence for harmonic maps into compact locally CAT(1) spaces