A review of Alpine tectonics in Portugal: Foreland detachment in basement and cover rocks