Technical design report for the PANDA Barrel DIRC detector