Non-Linear Crest Height Distribution of Sea Waves in front of a Vertical Wall