East Timor launches operation against rebels