how much does a 20x20 trex deck cost