Police: Man arrested for masturbating in children’s section of public library