Integration of powers of trigonometric functions