Title: The optimization of the allocation of personnel effort to mine warfare