Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic