which county in florida has the least population?