کسری دولت برای پرداخت یارانه چقدر است؟