Ion beam thinning and polishing of YBa2Cu3O7 films