Model-based Engineering for Energy-efficient Operation of Factory Automation Systems within Non-productive Phases