Removing large files from Git without losing history