What is the difference between a development permit and a building permit?