Describir: PLC-Based Implementation of Local Modular Supervisory Control for Manufacturing Systems