Shell reports oil leak at North Sea platform