Indonesia executes four convicted drug traffickers