Waterjet Cutting for Tile Repairs: Matching Discontinued Patterns and Vintage Designs