20170731 business.international-business: Australia shares edge higher on boost from miners; NZ up