The LQ controller synthesis problem