Non-Archimedean methods in arithmetic & tropical geometry