pengertian hukum dagang menurut para ahli