The effect of machine learning tools for evidence synthesis on resource use and time-to-completion: protocol for a retrospective pilot study