The City of Fort Worth sold the Central Library for $18 million