Wave height from pressure measurements