Title: An aid for the allocation of resources in ship repairs at naval shipyards