Gas-lubricated seals