Surface waves and leaky waves above a porous layer