Mueller: Charging the president with a crime was not an option