Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation