Historic Crystal Pier at Wrightsville Beach undergoes renovation