Mayor authorizes 3,000 hours of overtime for St. Paul Police