Have Red Bull broken the F1 budget cap?

F1 is back after the first day of running in Singapore but a lot of the talk has been about Red Bull and Aston Martin potentially going over last year's budget cap. What will the punishment be?