What is the difference between Go's static and dynamic typing systems?