Banks and economic growth in developing countries: What about Islamic banks?