A Benders Decomposition Approach for Acoustic-Constrained Maritime Patrol Scheduling