Semi-informative priors over AI timelines