when were the pyramids discovered