Pertamina discovers more West Java gas