Indonesia's Astra International first-half profit up due to stake sale