Interpreting HIV diagnostic histories into infection time estimates: analytical framework and online tool