Untangling Gordian knots: improving tuberculosis control through the development of ‘programme theories’