The design of instruments for government finance in an Islamic Economy