salah satu penggunaan derek jangkung di pelabuhan