В чем заключается разница между статической и динамической типизацией языка программирования?