Digital health for the End TB Strategy: developing priority products and making them work