Computation of Lyapunov Functions for Hybrid Automata via LMIs