Muslims mark Eid al-Adha, the feast of sacrifice