John Boyega plays Woyzeck