Gröbner bases over fields with valuation and tropical curves by coordinate projections