Satisfaction-degree model for fuzzy job shop scheduling problem