Should European equity exchanges shorten the trading day?