Almost 10,000 El Pasoans cast votes for mayor