definisi manajemen operasional menurut ahli