Convolutional Codes in Rank Metric with Application to Random Network Coding.