Who has worked with Will Smith more, John Mulholland or Barry Sonnenfeld?