Google loses Linux patent lawsuit, ordered to pay $5 million in damages