what tools do you need to install vinyl