Supertropical semirings and supervaluations