Royal Jordanian lays-off 15 percent of workforce