A Linear Vertex Kernel for Maximum Internal Spanning Tree ∗