what is the average income in marin county