A Shop Floor Production Scheduling Case based on RFID-supported Smart Factory