Overexpression of type-1 adenylyl cyclase in mouse forebrain enhances recognition memory and LTP