A guide for building secure Internal Developer Platforms in regulated environments