Were both Curt Smith and Mickey Thomas musicians?