Are Baltasar Kormákur and John G. Avildsen both film producers?