Inhibitors of phosphodiesterase type 10a