Decimalization, trading costs, and information transmission between ETFs and index futures