Electrochemically switchable rotaxanes