Indonesia reverses coal export ban for three companies