Message passing for quantified Boolean formulas