Analysis of Hypergraph Signals via High-Order Total Variation