Tropical varieties for non-archimedean analytic spaces