El Salvador used no public funds for Bitcoin, IMF says