The domestic resource cost of mechanization in West Java, Indonesia