Text this: Effect of a mobile application promoting HIV prevention on knowledge of the benefits and uptake of HIV testing in Lagos, Nigeria