Shell misses profit expectations, but keeps buyback pace