High Performance Short Polar Codes: A Concatenation Scheme Using Spinal Codes as the Outer Code