Monetary operations and government debt management under Islamic banking