cost of veranda decking installation