Technical Design Report for PANDA Electromagnetic Calorimeter (EMC)