How do industrial electric power washers differ from traditional pressure washers?