Programmable Logic Controllers: Laboratory Manual